Nuprl Definition : secret-table 11,40

secret-table(T) == K:  (:  ({0..K}(:Atom1  (:( + Atom1)  data(T))))) 
latex


Definitionsx:AB(x), {i..j}, #$n, x:A  B(x), left + right, , Atom$n, data(T)
FDL editor aliasessecret-table

origin